Diagrams Indexed by Grothendieck Constructions
نویسنده
چکیده
Let I be a small indexing category, G : I → Cat be a functor and BG ∈ Cat denote the Grothendieck construction on G. We define and study Quillen pairs between the category of diagrams of simplicial sets (resp. categories) indexed on BG and the category of I-diagrams over N(G) (resp. G). As an application we obtain a Quillen equivalence between the categories of presheaves of simplicial sets (resp. groupoids) on a stack M and presheaves of simplicial sets (resp. groupoids) overM.
منابع مشابه
Diagrams Indexed by Grothendieck Constructions and Stacks on Stacks
Let I be a small indexing category, G : I → Cat be a functor and BG ∈ Cat denote the Grothendieck construction on G. We define and study Quillen pairs between the category of diagrams of simplicial sets (resp. categories) indexed on BG and the category of I-diagrams over N(G) (resp. G). As an application we obtain a Quillen equivalence between the categories of presheaves of simplicial sets (re...
متن کاملCategorical Foundations of Distributed Graph Transformation
A distributed graph (N, D) consists of a network graph N and a commutative diagram D over the scheme N which associates local graphs D(ni) and graph morphisms D(e) : D(n1) → D(n2) to nodes n1, n2 and edges e : n1 → n2 in N . Although there are several interesting applications of distributed graphs and transformations, even the basic pushout constructions for the double pushout approach of distr...
متن کاملHomotopy theory of diagrams
In this paper we develop homotopy theoretical methods for studying diagrams. In particular we explain how to construct homotopy colimits and limits in an arbitrary model category. The key concept we introduce is that of a model approximation. A model approximation of a category C with a given class of weak equivalences is a model category M together with a pair of adjoint functors M ⇄ C which s...
متن کاملTightly Bounded Completions
By a ‘completion’ on a 2-category K we mean here an idempotent pseudomonad on K . We are particularly interested in pseudomonads that arise from KZdoctrines. Motivated by a question of Lawvere, we compare the Cauchy completion [23], defined in the setting of V-Cat for V a symmetric monoidal closed category, with the Grothendieck completion [7], defined in the setting of S-Indexed Cat for S a to...
متن کاملThe Grothendieck Construction and Gradings for Enriched Categories
The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric monoidal category satisfying certain conditions. Symmetric monoidal categories satisfying the conditions in this paper include the category of k-modules over a c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008